Real-time Systems Development with Sdl and next Generation Validation Tools 1
نویسنده
چکیده
The language SDL has long been applied in the development of various kinds of systems. Real-time systems are one application area where SDL has been applied extensively. Whilst SDL allows for certain modelling aspects of real-time systems to be represented, the language and its associated tool support have certain drawbacks for modelling and reasoning about such systems. In this paper we highlight the limitations of SDL and its associated tool support in this domain and present language extensions and next generation real-time system tool support to help overcome them. The applicability of the extensions and tools is demonstrated through a case study based upon a multimedia binding object used to support a configuration of time dependent information producers and consumers realising the so called lip-synchronisation algorithm.
منابع مشابه
A Framework for the Performance Evaluation of SDL/MSC-specified Systems
SDL and MSC are standardized specification techniques for the development of reactive real-time systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relati...
متن کاملImproving the Development and Validation of Viewpoint Specifications
This paper presents an overview of the application of ITU-SDL for the development of distributed systems according to the RM-ODP. The use of the advanced SITE tools for the simulation and prototype code generation of/from SDL specifications of computational as well as engineering objects is illustrated. The advantages of this approach are shown by applying it on the ODP trading function as an e...
متن کاملIF: An intermediate representation for SDL and its applications
We present work of a project for the improvement of a speciication/validation toolbox integrating a commercial toolset Objectgeode and diierent validation tools such as the veriication tool cadp and the test sequence generator tgv. The intrinsic complexity of most protocol speciications lead us to study combination of other techniques such as static analysis and abstraction together with the cl...
متن کاملEfficient protocol design flow for embedded systems
It is predicted that, in the next years, wireless sensor networks could be massively deployed in a wide variety of application areas, such as agriculture, logistics, automation, or infrastructure monitoring. An extremely low power consumption, high dependability, and low cost are common requirements for sensor nodes in all these applications. This can be achieved only by tiny, power-efficient m...
متن کاملUML and Real-time Systems
UML has traditionally been used to specify object-oriented software systems. With its rising popularity, the desire to use it for various vertical domains have grown stronger, and in this paper we focus on requirements from the realtime domain. In particular, we look at how tools and features from the real-time domain have affected the standardization efforts when further developing the next ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002